Quotient Spaces and Coequalisers in Formal Topology
نویسنده
چکیده
We give a construction of coequalisers in formal topology, a predicative version of locale theory. This allows for construction of quotient spaces and identification spaces in constructive topology.
منابع مشابه
Coequalisers in formal topology
We give a construction of coequalisers in formal topology, a predicative version of locale theory. MSC: 03F65, 06D22, 54B15.
متن کاملSTABILIZER TOPOLOGY OF HOOPS
In this paper, we introduce the concepts of right, left and product stabilizers on hoops and study some properties and the relation between them. And we try to find that how they can be equal and investigate that under what condition they can be filter, implicative filter, fantastic and positive implicative filter. Also, we prove that right and product stabilizers are filters and if they are ...
متن کاملIntroduction to Topology
1. Basic concepts 1 2. Constructing topologies 13 2.1. Subspace topology 13 2.2. Local properties 18 2.3. Product topology 20 2.4. Gluing topologies 23 2.5. Proper maps 25 3. Connectedness 26 4. Separation axioms and the Hausdorff property 32 4.1. More on the Hausdorff property 34 5. Compactness and its relatives 35 5.1. Local compactness and paracompactness 41 5.2. Compactness in metric spaces...
متن کاملFinite Metric Spaces and Their Embedding into Lebesgue Spaces
The properties of the metric topology on infinite and finite sets are analyzed. We answer whether finite metric spaces hold interest in algebraic topology, and how this result is generalized to pseudometric spaces through the Kolmogorov quotient. Embedding into Lebesgue spaces is analyzed, with special attention for Hilbert spaces, `p, and EN .
متن کاملUniform connectedness and uniform local connectedness for lattice-valued uniform convergence spaces
We apply Preuss' concept of $mbbe$-connectedness to the categories of lattice-valued uniform convergence spaces and of lattice-valued uniform spaces. A space is uniformly $mbbe$-connected if the only uniformly continuous mappings from the space to a space in the class $mbbe$ are the constant mappings. We develop the basic theory for $mbbe$-connected sets, including the product theorem. Furtherm...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. UCS
دوره 11 شماره
صفحات -
تاریخ انتشار 2005